import scala.io.Source 

package zhc.topology
{

class set
{def saySet = println("I am a set of virtually everything")
}
trait convex
{}
trait absolutelyConvex extends convex
{}
trait absorbing extends set
{def sayAbsorbing = println("I absorbing every balanced line segment by scaling it. 只针对别的单个的点作absorbing")
}
trait absorbed extends set
{ def sayAbsorbed = println("I can be absorbed by other sets by scaling myself. 我内部所有点，全可以被别的集合，给absorbing")
}

trait barrel extends set with absolutelyConvex with absorbing
{}
trait tvs {}
trait N0 {}

trait bounded extends set with tvs with absorbed with N0
{ def sayBounded =println("absorbed by every neighborhood of 0. 有界就是多个一致，这里表示任意N0都能一致地absorbing集中所有点")
}

trait BTB extends tvs
{
  def sayBTB = println("every bounded set is totally bounded")
}

object topology extends App {
  println("hi")
}

}
